➕ Sum Types - emschwartz · Scour

Programming in K

news.ycombinator.com·1d·

Discuss: Hacker News

🔢Algebraic Data Types

Completing the formal proof of higher-dimensional sphere packing

math.inc·14h·

Discuss: Hacker News

📏Linear Types

Why does @field work for declarations?

ziggit.dev·15h

🔒Borrow Checker

Extending Formal Verification to Sequential Circuits (U. of Bremen)

semiengineering.com·16h

Ditching MongoDB Text Indexes for Edge N-Grams

hjr265.me·1d

🌲GIN Indexes

A Review of Uncle Bob's Functional Design: Principles, Patterns, and Practices

coding-mischief.com·11h·

Discuss: Hacker News

💻Programming languages

Localising Stochasticity in Weighted Automata

arxiv.org·1d

🌸Bloom Filters

In-context learning of representations can be explained by induction circuits

lesswrong.com·9h

🔤Font Rendering

Format Overview

toonformat.dev·18h

💾Binary Formats

Implementing Burger-Dybvig: finding the shortest decimal that round-trips to the original IEEE 754 bits, with ECMA-262 tie-breaking

lattice-substrate.github.io·19h·

Discuss: r/programming

🔢Algebraic Data Types

ivanbelenky/nbdantic: humble structure validator for notebooks

github.com·4h·

Discuss: Hacker News, r/Python

🐥 Optimizing nested array operations in PHP: from O(3n) to O(n)

yellowduck.be·1d

🏹Apache Arrow

State of Knuckledragger III: Kernel Changes, Symbolic Union, AI, and more

philipzucker.com·1d

🧮SMT Solvers

TypeScript Decorators: From Basics to Advanced

slicker.me·1d·

Discuss: r/typescript

`derive_parser` – Automatically derive a parser from your syntax tree

github.com·23h·

Discuss: r/rust

📝Markdown Parsers

Parse, Don't Guess

architecture-weekly.com·16h

💾Binary Formats

A Number with a Shadow

campedersen.com·1d

Generalization of terms via universal algebra

arxiv.org·1d

🔢Algebraic Data Types

PEP 827 – Type Manipulation

peps.python.org·4d·

Discuss: Lobsters, Hacker News

The unreasonable effectiveness of S-Expressions

nim-lang.org·1d·

Discuss: Hacker News

📚Index Structures

Loading more...